Siphons, traps and high-level nets with infinite color domainsSCHMIDT, K.Lecture notes in computer science. 1997, pp 271-289, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Incremental state space construction for coloured petri netsLEWIS, Glenn; LAKOS, Charles.Lecture notes in computer science. 2001, pp 263-282, issn 0302-9743, isbn 3-540-42252-8Conference Paper

CPN/Tools: A Post-WIMP interface for editing and simulating coloured petri netsBEAUDOUIN-LAFON, Michel; MACKAY, Wendy E; RAVN, Katrine et al.Lecture notes in computer science. 2001, pp 71-80, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Qualitative model based verification of operating procedures by high level Petri netsGERZSON, M; CSAKI, Z; HANGOS, K. M et al.Computers & chemical engineering. 1994, Vol 18, pp S565-S569, issn 0098-1354, SUPConference Paper

Regular event structures and finite Petri nets: The conflict-free caseNIELSEN, Mogens; THIAGARAJAN, P. S.Lecture notes in computer science. 2002, pp 335-351, issn 0302-9743, isbn 3-540-43787-8, 17 p.Conference Paper

Modelling and verification of hybrid systems using hierarchical coloured petri netsGENRICH, H. J; SCHUART, I.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 17-24Conference Paper

Coordinating functional processes using Petri netsASSMANN, C.Lecture notes in computer science. 1997, pp 162-183, issn 0302-9743, isbn 3-540-63237-9Conference Paper

On proving large distributed systems: Petri net modules verificationLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 70-75, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Sémantique et validation des langages d'acteurs à l'aide des réseaux de Petri colorés = Semantic and validation of actor languages using colored Petri netsSaad Sami, Yamina; Vidal-Naquet, Guy.1993, 179 p.Thesis

Multi-agent-systems Based on coloured Petri netsMOLDT, D; WIENBERG, F.Lecture notes in computer science. 1997, pp 82-101, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Méthodes de spécification et de vérification des protocoles de communication = Specification and verification methods for communication protocolsZouari, Belhasse; Girault, Claude.1992, 277 p.Thesis

Fuzzy time semirings and fuzzy-timing colored Petri netsFUMING WU.International journal of intelligent systems. 1999, Vol 14, Num 8, pp 747-774, issn 0884-8173Article

Agent modelling with Petri NetsPURVIS, M; CRANEFIELD, S.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 602-607, isbn 2-9502908-7-6Conference Paper

Analysis of controlled technological systems using high level Petri netsGERZSON, M; HANGOS, K. M.Computers & chemical engineering. 1995, Vol 19, pp S531-S536, issn 0098-1354, SUPConference Paper

Petri net theory : Problems solved by Commutative algebraSCHNEIDER, C; WEHLER, J.Lecture notes in computer science. 1999, pp 248-267, issn 0302-9743, isbn 3-540-66132-8Conference Paper

Orthogonal transformations for coloured Petri netsBEST, E; THIELKE, T.Lecture notes in computer science. 1997, pp 447-466, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Refinement of coloured Petri netsBEST, E; THIELKE, T.Lecture notes in computer science. 1997, pp 105-116, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Teaching Coloured Petri Nets : a gentle introduction to formal methods in a distributed systems courseCHRISTENSEN, S; MORTENSEN, K. H.Lecture notes in computer science. 1997, pp 290-309, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Application of timed Petri Nets to modeling the schedules of manufacturing cellsZUBEREK, W. M.INRIA / IEEE symposium on emerging technologies and factories automation. 1995, pp 311-322, isbn 0-7803-2535-4, 3VolConference Paper

Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper

Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation = Modelling of hybrid flexible systems and taking accumulation phenomena into accountCARADEC, M; PRUNET, F.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 86-93Conference Paper

Analysing Bang & Olufsen's BeoLink® audio/video system using Coloured Petri NetsCHRISTENSEN, S; JØRGENSEN, J. B.Lecture notes in computer science. 1997, pp 387-406, issn 0302-9743, isbn 3-540-63139-9Conference Paper

On the abstraction of coloured Petri netsLAKOS, C.Lecture notes in computer science. 1997, pp 42-61, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Dynamic evolution of Z/pZ colored Petri net modelsMARTEAU, S; BOURCERIE, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 48-52, isbn 2-9502908-7-6Conference Paper

Modelling of features and feature interactions in Nokia mobile phones using Coloured Petri netsLORENTSEN, Louise; TUOVINEN, Antti-Pekka; JIANLI XU et al.Lecture notes in computer science. 2002, pp 294-313, issn 0302-9743, isbn 3-540-43787-8, 20 p.Conference Paper